An invitation to analytic abduction

An Invitation to Analytic Combinatorics

ANALYTIC COMBINATORICS is primarily a book about combinatorics, that is, the study of finite structures built according to a finite set of rules. Analytic in the title means that we concern ourselves with methods from mathematical analysis, in particular complex and asymptotic analysis. The two fields, combinatorial enumeration and complex analysis, are organized into a coherent set of methods ...

Analytic Abduction from Qualitative Simulation

Many types of dynamic system can be modelled using ordinary differential equations . Recently, there has been much interest in the A.I . community in reasoning about adynamic system by reasoning from this underlying differential equation model. Current approaches fall on a spectrum ranging from numerical (Yip 87, Yip 88], interval [Berleant & Kuipers 88, Davis 87b] through qualitative [Forbus 8...

An Invitation to Play

Parity games and their subclasses and variants pop up in various contexts: μ-calculus, tree automata, program verification [3, 1, 8]. Such games provide only binary information indicating the winning player. However, in classical games theory [12] the emphasis is rather on how much we win or lose. Can we incorporate the information about the profits and losses into parity games?

An Invitation to Topology

An Invitation to

* The author is an Associate Professor of Accounting on the faculty of the Tepper School of Business of Carnegie Mellon University, Pittsburgh, Pennsylvania, USA. The essay is written based on a few lectures on accounting theory given at various universities. The author thanks the audience at these lectures. In preparing the written manuscript, comments by Xijia Su of City University of Hong Ko...